La proposition : Disjonction exclusive. Implication et équivalence.
Généralisation, Formes normales disjonctive et conjonctives.
Structure de groupe, Déduction
 
- L'opérateur binaire de la disjonction exclusive
- L'opérateur binaire de l'implication
- L'opérateur binaire de l'équivalence,
- Les rapports entre implication et équivalence
- Priorité des opérateurs et parenthèses		  
la disjonction exclusive, implication et équivalence,
la généralisation .
Formes normales disjonctives, puis conjonctives, Stucture de groupe,
Notion de déduction